Back نظرية النمط Arabic Tiplər nəzəriyyəsi Azerbaijani Teorie typů Czech Typentheorie German Θεωρία τύπων Greek Type theory English Teoría de tipos Spanish Tüübiteooria Estonian نظریه نوعها Persian Théorie des types French
En programlingva teorio, branĉo de komputiko, la teorio de tipoj provizas la formalan bazon por la dizajno, analitiko kaj studo de tipo-sistemoj. Ja, multaj komputilo-sciencistoj uzas la terminon teorio de tipoj por nomi la formalan studon de tipo-sistemoj por programlingvoj, kvankam iuj limigas ĝin al la studo de pli abstraktaj formalismoj kiel tipitaj λ-kalkuloj. Je la plej larĝa nivelo, teorio de tipoj estas la branĉo de matematiko kaj logiko, kiu koncernas sin kun klasigi entojn en kolektojn nomitajn kiel tipoj. En ĉi tiu senco, ĝi rilatas al la metafizika nocio de 'tipo'. La moderna teorio de tipoj estis inventita parte en respondo al la paradokso de Russell, kaj estas esprimitas elstare en Principoj Mathematica far Russell kaj Whitehead.